Really undo the deprecation of separator style properties

I hit the wrong one in the previous commit. For good measure,
undo depecation for all separator-related style properties.
They are still in use.

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 8ad8b0b0484d5cb081348f84afa7c87f0c329fca..40999de73779f512f86a5f3cbdfdf75b2d9aa39d 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -3566,14 +3566,13 @@ G_GNUC_END_IGNORE_DEPRECATIONS
    * configurable width and should be drawn using a box instead of a line.
    *
    * Since: 2.10
-   * Deprecated: 3.20: Use the standard min-width and min-height CSS properties instead.
    */
   gtk_widget_class_install_style_property (klass,
                                            g_param_spec_boolean ("wide-separators",
                                                                  P_("Wide Separators"),
                                                                  P_("Whether separators have configurable width and should be drawn using a box instead of a line"),
                                                                  FALSE,
-                                                                 GTK_PARAM_READABLE|G_PARAM_DEPRECATED));
+                                                                 GTK_PARAM_READABLE));
 
   /**
    * GtkWidget:separator-width:
@@ -3597,15 +3596,13 @@ G_GNUC_END_IGNORE_DEPRECATIONS
    * This property only takes effect if the "wide-separators" style property is %TRUE.
    *
    * Since: 2.10
-   *
-   * Deprecated: 3.20: Use the standard min-width and min-height CSS properties instead.
    */
   gtk_widget_class_install_style_property (klass,
                                            g_param_spec_int ("separator-height",
                                                              P_("Separator Height"),
                                                              P_("The height of separators if \"wide-separators\" is TRUE"),
                                                              0, G_MAXINT, 0,
-                                                             GTK_PARAM_READABLE|G_PARAM_DEPRECATED));
+                                                             GTK_PARAM_READABLE));
 
   /**
    * GtkWidget:scroll-arrow-hlength: